Sufficient condition of integer consistency and solution method of semantic consistency is proposed.
它给出了图形协同设计系统中一致性的定义,指出图形一致性包含整体一致性和语义一致性,及其整体一致性的充分条件和语义一致性的解决方法。
互联网摘选
论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。
互联网摘选
中间产品C~4ISR体系结构动态行为语义一致性验证方法
互联网摘选
采用信息编码技术,保证信息实体在企业中流通语义的一致性,是实现企业信息共享的前提。
互联网摘选
在这几个转换标准的判定上,除语义一致性外,其它几个语法层次上的正确性问题都已有相对成熟的解决方案。
互联网摘选
本体作为共享概念的形式化说明,用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致,提供了语义异构问题的解决途径。
互联网摘选
该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。
互联网摘选
